You have chosen Empedocles, Arend Heyting and Arend Heyting.
All three must be different; choose another philosopher.